PyDigger - unearthing stuff about Python


NameVersionSummarydate
wkrq 1.0.7 A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification 2025-07-29 16:32:19
hourdayweektotal
110243310390305024
Elapsed time: 4.28108s